public class Pool extends VectorFlow {
  Pool() {}
  void update();
}
